# -*- mode: snippet -*-
# name: Unset Strict Proofs
# --
Unset Strict Proofs
